first order dynamic logic

一級動態邏輯